منابع مشابه
Concepts and Calculation in Cryptography
This is a study about applying ideas from mathematical methodology to problems in cryptography. It is not a study of cryptography per se, but rather a study of the type of concepts one finds in this area, how they are formulated, and how we reason about them. The motivation? Cryptography is a notoriously difficult subject to reason about: it is acknowledged within the cryptography community tha...
متن کاملConcepts of Logical Ai
Logical AI involves representing knowledge of an agent’s world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI requires programs that deal with t...
متن کاملResearch Plan Logical Foundations of Cryptography
Our Ph.D. [8] has been about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We have focused on two fundamental aspects of cryptography. Namely, the security of communication (as opposed to security of storage) and cryptographic proto...
متن کاملUse of Mathematical Logical Concepts in Quantum Mechanics: An Example
The representation of numbers by product states in quantum mechanics can be extended to the representation of words and word sequences in languages by product states. This can be used to study quantum systems that generate text that has meaning. A simple example of such a system, based on an example described by Smullyan, is studied here. Based on a path interpretation for some word states, def...
متن کاملLogical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts
Progress in statistical learning in recent years has enabled computers to recognize objects with near-human ability. However, recent studies have revealed particular drawbacks in current computer vision systems which suggest there exist considerable differences between the way these systems function compared with human visual cognition. Major differences are that: 1) current computer vision sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGACT News
سال: 2007
ISSN: 0163-5700
DOI: 10.1145/1345189.1345205